nonmonotonic reasoning

Causal Knowledge Representation and Nonmonotonic Reasoning Models in Law Consultant Systems

法律知识的因果表达和非单调推理模型

This paper studies the rational problem of general inductive reasoning and nonmonotonic reasoning .

本文研究了一般归纳推理与非单调推理的合理性问题。

A theory of nonmonotonic reasoning based on annotated logic (ⅰ)

基于标记逻辑的非单调推理（Ⅰ）

A Study on Nonmonotonic Reasoning System

关于模糊非单调推理系统的研究

General logic programming is an important knowledge representation tool , and is an area of nonmonotonic reasoning .

一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。

Nonmonotonic Reasoning in Expert Systems

专家系统中的非单调推理

A usable nonmonotonic reasoning system

一个实用的非单调推理系统

Nonmonotonic Reasoning of Context Logic

Context的非单调推理

This paper analyzes the characteristics and limitations of approximate reasoning ( based on probability ) and nonmonotonic reasoning ( based on truth maintenance system ) .

不精确推理和非单调推理是人工智能中两个重要的研究方面。

On the preferential implication in the nonmonotonic reasoning

关于非单调推理中的择优蕴涵

The realistic of the value of the nonmonotonic reasoning can not be separated from its computer applications , and it is still have great room for development .

非单调推理理论价值的实现与它在计算机上的应用是分不开，它还有很大的发展空间。

Because stratified ATMS can deal with nonmonotonic reasoning and multiple assumption sets , it can solve multiple explanation problems in EBL according to different reasons .

由于分层ATMS能处理非单调推理和多重假设集，因而它能根据不同原因解决EBL中的多重解释问题。

It can deal with the reasoning in an incomplete domain theory effectively and combine the advantages of approximate reasoning and nonmonotonic reasoning to overcome their limitations .

它能有效地处理不完全领域知识下的推理，结合不精确推理和非单调推理的优点，克服两者的局限性。

This paper presents the limits of TMS through analysing and studying nonmonotonic reasoning and non - monotonic reasoning system TMS . For example , it can 't process fuzzy information and inexact infor - mation and has low efficiency and so forth .

本文在分析和研究非单调推理、非单调推理系统TMS的基础上，指出了TMS存在的问题，如：没有处理模糊信息、不精确信息的能力，效率低等等；

In the paper , a system of web sites automatic generating , which is based on knowledge base and nonmonotonic reasoning , is put forward according to information construct on WWW , and then a sample using the system to generate a web site for a department is described .

本文根据WWW上的信息结构，实现了一个基于知识库，采用非单调推理的Web站点自动生成系统，并给出了一个Web站点生成过程的实例。

Study of Hierarchic Knowledge Representation and Nonmonotonic Truth Maintenance for Reasoning

知识的层次表示和推理的非单调真值维护的研究

A prioritized justification-based nonmonotonic logic is presented which can deal with nonmonotonic reasoning more generally and effectively .

提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理。

Constrasted with other semantics theories of nonmonotonic logic programming , Answer Set semantics , the kernel of Answer Set programming technology , is concise and simple , and fully utilizes the fruits acquired by the logic programming community , and effectively realizes nonmonotonic reasoning of the logic program .

作为该类编程技术的核心，AnswerSet语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。